4461. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
4462. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
4463. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
4464. Synchronous programming of reactive systems
پدیدآورنده : Halbwachs, Nicolas
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Real-time programming,، Programming languages )Electronic computers(
رده :
QA
76
.
54
.
H36
1993
4465. Syntax of programming languages: theory and practice
پدیدآورنده : Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
4466. Synthesizing synchronous systems by static scheduling in space-time
پدیدآورنده : Lisper, Bjorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، System design
رده :
QA
76
.
L28
Vol
.
362
4467. System-On-A-Chip verification :methodology and techniques
پدیدآورنده : Rashinkar, Prakash
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، System design,Design and construction ، Electronic digital computers,Development ، Computer software
رده :
QA
76
.
9
.
S88
R37
2001
4468. System analysis by digital computer
پدیدآورنده : Kuo,Franklin F.ed
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Engineering ، Electronic data processing,، System analysis,Programming ، Electronic digital computers
رده :
TA
345
.
K86
4469. System analysis by digital computer
پدیدآورنده : Kuo, Franklin F
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Engineering-- Data processing,، System analysis,، Electronic digital computers-- Programming
رده :
TA
345
.
K86
4470. System design from porvably correct constructs: the beginning of true software engineering
پدیدآورنده : Martin, James
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,Programming ، Electronic digital computers,، Debugging in computer science
رده :
QA
76
.
9
.
S88
M37
1985
4471. System design from provably correct constructs:the beginnings of
پدیدآورنده : MARTIN,JAMES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SYSTEM DESIGN , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE
رده :
QA
76
.
9
.
S88
M37
4472. System modeling and analysis :foundations of system performance evaluation
پدیدآورنده : Kobayashi, Hisashi.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Evaluation ، Electronic digital computers,، System analysis,، Queuing theory
رده :
QA
76
.
5
.
K578
2009
4473. System modeling and analysis : foundations of system performance evaluation
پدیدآورنده : Kobayashi, Hisashi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation ، Electronic digital computers,، System analysis,، Queuing theory
رده :
QA
76
.
5
.
K62S9
4474. System simulation : programming styles and languages
پدیدآورنده : Kreutzer, Wolfgang.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
4475. System simulation:programming styles & languages
پدیدآورنده : KREUTZER,WOLFGANG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
رده :
QA
76
.
9
.
C65
K74
4476. System software: an introduction to systems programming
پدیدآورنده : Beck, Leland L
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Electronic computers(
رده :
QA
76
.
B327
1985
4477. System structure in data, programs, and computers
پدیدآورنده : Johnson, Lyle R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing,، Electronic digital computers
رده :
QA
76
.
J62
4478. System structure in data, programs, and computers
پدیدآورنده : Johnson, Lyle R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic data processing,، Electronic digital computers
رده :
QA
76
.
J62
4479. #System technical manual
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Computer programs ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S98
4480. System technical manual: Hardware
پدیدآورنده : NCR corporation
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Design and construction ، Electronic digital computers
رده :
TK
7888
.
3
.
S97
1983